Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
471	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic
472	H ELMUT V EITH Formal Methods in Systems Engineering GroupInstitute of Information Systems Vienna University of Technology Favoritenstraße 9–11 A-1040 Vienna Add to Reading List Source URL: forsyte.at Language: English - Date: 2015-04-19 17:30:43 Federated Logic Conference Vienna University of Technology
473	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science
474	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
475	Job Description Solution Architect ● Role title: Solution Architect ● Division: Chief Digital Office, Operations Directorate ● Level: Managerial (Band 3) Add to Reading List Source URL: sfadigital.blog.gov.uk Language: English - Date: 2015-05-06 06:56:31 Information technology management Design Solutions Architect Prototype Software development process Agile software development Enterprise architecture Technology Formal methods
476	Chapter 16 SOFTWARE PERFORMANCE ENGINEERING Connie U. Smith1 and Lloyd G. Williams2 1 2 Add to Reading List Source URL: www.spe-ed.com Language: English - Date: 2007-01-19 13:15:25 Software optimization Management Formal methods Software testing Software quality Performance engineering Software development process Software performance testing IBM Rational Unified Process Software development Systems engineering Computing
477	hiJaC Higher-Order UTP for Theories of Object-Orientation Frank Zeyda and Ana Cavalcanti University of York (UK) Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:36:54 Formal methods Mathematics Computability theory Functions and mappings Predicate logic Mereology Logic
478	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
479	Hitting the Target: Adding Interaction Design to Agile Software Development Jeff Patton Development Team Leader Tomax Technologies Add to Reading List Source URL: agileproductdesign.com Language: English - Date: 2011-09-25 15:06:46 Human–computer interaction Usability Technical communication Software project management Formal methods Agile software development Alan Cooper Software development process User interface design Software development Software Humanâ€“computer interaction
480	Michael W. Whalen http://www.cs.umn.edu/~whalen Work Address: 200 Union St Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2015-01-22 15:38:55 Software requirements Avionics Software testing Software quality Software verification Whalen Software development process Verification Formal verification Software development Software Formal methods

UPDATE